relative integral invariant

相对积分不变式